#!/bin/bash
#
# Regenerate all files
#
if ./scad.sh
then
    if ./stl.sh
    then
        if ./html.sh
        then
            if ./xml.sh
            then
                echo "ok"
                exit 0
            else
                cat<<EOF>&2
Error in './xml.sh'
EOF
                exit 1
            fi
        else
            cat<<EOF>&2
Error in './html.sh'
EOF
            exit 1
        fi
    else
        cat<<EOF>&2
Error in './stl.sh'
EOF
        exit 1
    fi
else
    cat<<EOF>&2
Error in './scad.sh'
EOF
    exit 1
fi
